منابع مشابه
Constructor Subtyping
Constructor subtyping is a form of subtyping in which an induc tive type is viewed as a subtype of another inductive type if has more constructors than As suggested in its potential uses include proof assistants and functional programming languages In this paper we introduce and study the properties of a simply typed calculus with record types and datatypes and which supports record sub typing ...
متن کاملAlgebraic Subtyping
data types can be expressed neatly by treating their definition as transparent inside the module defining them, and as opaque outside it. Transparent definitions are easily implemented. In principle, they can be expanded in a preprocessing phase and ignored afterwards. In practice, this may cause an exponential increase in compile time as their definitions may be much larger than their names. T...
متن کاملDistributed Subtyping
One of the most frequent operations in object-oriented programs is the instanceof test, also called the subtyping test or the type inclusion test. This test determines if a given object is an instance of some type. Surprisingly, despite a lot of research on distributed object-oriented languages and systems, almost no work has been devoted to the implementation of this test in a distributed envi...
متن کاملSemantic Subtyping
Usually subtyping relations are defined either syntactically by a formal system or semantically by an interpretation of types in an untyped denotational model. In this work we show how to define a subtyping relation semantically, for a language whose operational semantics is driven by types; we consider a rich type algebra, with product, arrow, recursive, intersection, union and complement type...
متن کاملCoercive Subtyping
We propose and study coercive subtyping, a formal extension with subtyping of dependent type theories such as Martin-LL of's type theory 38] and the type theory UTT 30]. In this approach, subtyping with speciied implicit coercions is treated as a feature at the level of the logical framework; in particular, the meaning of an object being in a supertype is given by coercive deenition rules for t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1996
ISSN: 0890-5401
DOI: 10.1006/inco.1996.0031